xen/arm: do not map vGIC twice for dom0
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Wed, 19 Dec 2012 14:16:17 +0000 (14:16 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Wed, 19 Dec 2012 14:16:17 +0000 (14:16 +0000)
commit0eefa58b25fa72b39592d65585a9f3324e337cfd
treec61edf977b88f4203e1c88abcfed672eb38c5062
parent87ebca69e4d549bc9c2eb074ad108f10b91e7f96
xen/arm: do not map vGIC twice for dom0

We don't need to manually set the P2M for the vGIC in construct_dom0,
because we have already done it generally for every guest in gicv_setup.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain_build.c